substitution in symbolic expressions